function ts_main1(): void {
  console.log("Hello World!");
}

function ts_main2(): void {
  console.log("Hello World!");
}
